[next] [prev] [prev-tail] [tail] [up]

2.2.7 Integrals 601 to 700

Detailed conclusion table per each integral is given by table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given just an F.

In this table,the column N.S. in the table below, which stands for normalized size is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To help make the table fit, Mathematica was abbreviated to MMA.

Problem 601

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

222 222 194 280 976 476 0 0 -1

N.S.

1 1.00 0.87 1.26 4.40 2.14 0.00 0.00 -0.00

time (sec)

N/A 0.460 6.371 0.261 0.726 2.889 0.000 0.000 0.000

Problem 602

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A F(-1) F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

231 231 124 166 804 149 0 0 190

N.S.

1 1.00 0.54 0.72 3.48 0.65 0.00 0.00 0.82

time (sec)

N/A 0.361 1.686 0.227 0.685 4.058 0.000 0.000 8.021

Problem 603

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A F(-1) F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

284 284 157 199 1266 173 0 0 404

N.S.

1 1.00 0.55 0.70 4.46 0.61 0.00 0.00 1.42

time (sec)

N/A 0.594 1.701 0.240 0.745 4.209 0.000 0.000 11.313

Problem 604

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A F(-1) F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

334 334 190 232 1562 197 0 0 458

N.S.

1 1.00 0.57 0.69 4.68 0.59 0.00 0.00 1.37

time (sec)

N/A 0.649 1.843 0.263 0.768 4.175 0.000 0.000 12.738

Problem 605

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B A F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

241 241 198 640 5206 689 0 0 -1

N.S.

1 1.00 0.82 2.66 21.60 2.86 0.00 0.00 -0.00

time (sec)

N/A 0.544 1.527 0.210 0.918 5.160 0.000 0.000 0.000

Problem 606

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B A F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

195 195 174 547 2998 633 0 0 -1

N.S.

1 1.00 0.89 2.81 15.37 3.25 0.00 0.00 -0.01

time (sec)

N/A 0.396 0.948 0.199 0.829 4.587 0.000 0.000 0.000

Problem 607

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B A F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

141 141 107 379 1442 536 0 0 -1

N.S.

1 1.00 0.76 2.69 10.23 3.80 0.00 0.00 -0.01

time (sec)

N/A 0.267 0.685 0.207 0.740 4.787 0.000 0.000 0.000

Problem 608

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

138 138 96 320 668 510 0 0 -1

N.S.

1 1.00 0.70 2.32 4.84 3.70 0.00 0.00 -0.01

time (sec)

N/A 0.254 0.551 0.181 0.681 3.335 0.000 0.000 0.000

Problem 609

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

143 143 88 229 475 358 0 0 -1

N.S.

1 1.00 0.62 1.60 3.32 2.50 0.00 0.00 -0.01

time (sec)

N/A 0.240 0.649 0.208 0.672 2.601 0.000 0.000 0.000

Problem 610

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

191 191 155 263 742 398 0 0 -1

N.S.

1 1.00 0.81 1.38 3.88 2.08 0.00 0.00 -0.01

time (sec)

N/A 0.353 0.919 0.240 0.710 3.723 0.000 0.000 0.000

Problem 611

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

237 237 175 296 1085 438 0 0 -1

N.S.

1 1.00 0.74 1.25 4.58 1.85 0.00 0.00 -0.00

time (sec)

N/A 0.493 1.639 0.203 0.758 3.680 0.000 0.000 0.000

Problem 612

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B B F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

152 152 118 516 1918 611 0 0 -1

N.S.

1 1.00 0.78 3.39 12.62 4.02 0.00 0.00 -0.01

time (sec)

N/A 0.310 0.574 0.218 0.838 3.596 0.000 0.000 0.000

Problem 613

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B B A F(-1) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

260 260 1996 741 15483 805 0 0 -1

N.S.

1 1.00 7.68 2.85 59.55 3.10 0.00 0.00 -0.00

time (sec)

N/A 0.556 7.631 0.204 2.194 2.587 0.000 0.000 0.000

Problem 614

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B B A F(-2) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

202 202 1669 563 22775 681 0 0 -1

N.S.

1 1.00 8.26 2.79 112.75 3.37 0.00 0.00 -0.00

time (sec)

N/A 0.408 6.952 0.224 1.697 2.478 0.000 0.000 0.000

Problem 615

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B B F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

149 149 175 384 18871 621 0 0 -1

N.S.

1 1.00 1.17 2.58 126.65 4.17 0.00 0.00 -0.01

time (sec)

N/A 0.270 1.419 0.204 1.346 3.448 0.000 0.000 0.000

Problem 616

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

161 161 147 397 23927 450 0 0 -1

N.S.

1 1.00 0.91 2.47 148.61 2.80 0.00 0.00 -0.01

time (sec)

N/A 0.263 1.224 0.201 1.384 3.647 0.000 0.000 0.000

Problem 617

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

213 213 126 427 42167 488 0 0 -1

N.S.

1 1.00 0.59 2.00 197.97 2.29 0.00 0.00 -0.00

time (sec)

N/A 0.394 1.559 0.227 1.212 3.506 0.000 0.000 0.000

Problem 618

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-2) A F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

263 263 148 460 0 530 0 0 -1

N.S.

1 1.00 0.56 1.75 0.00 2.02 0.00 0.00 -0.00

time (sec)

N/A 0.513 2.119 0.252 0.000 4.087 0.000 0.000 0.000

Problem 619

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B B A F(-1) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

254 254 1923 982 98366 837 0 0 -1

N.S.

1 1.00 7.57 3.87 387.27 3.30 0.00 0.00 -0.00

time (sec)

N/A 0.555 7.005 0.253 27.976 4.312 0.000 0.000 0.000

Problem 620

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B B F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

201 201 204 685 92192 781 0 0 -1

N.S.

1 1.00 1.01 3.41 458.67 3.89 0.00 0.00 -0.00

time (sec)

N/A 0.405 1.687 0.220 24.290 3.923 0.000 0.000 0.000

Problem 621

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B A F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

163 163 119 482 90253 538 0 0 -1

N.S.

1 1.00 0.73 2.96 553.70 3.30 0.00 0.00 -0.01

time (sec)

N/A 0.282 1.957 0.212 24.224 2.742 0.000 0.000 0.000

Problem 622

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B A F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

211 211 128 594 264379 556 0 0 -1

N.S.

1 1.00 0.61 2.82 1252.98 2.64 0.00 0.00 -0.00

time (sec)

N/A 0.398 1.522 0.214 3.999 3.773 0.000 0.000 0.000

Problem 623

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B A F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

261 261 146 624 410328 600 0 0 -1

N.S.

1 1.00 0.56 2.39 1572.14 2.30 0.00 0.00 -0.00

time (sec)

N/A 0.535 2.158 0.242 6.861 3.740 0.000 0.000 0.000

Problem 624

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B A F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

313 313 221 657 645572 634 0 0 -1

N.S.

1 1.00 0.71 2.10 2062.53 2.03 0.00 0.00 -0.00

time (sec)

N/A 0.662 3.323 0.272 11.649 2.407 0.000 0.000 0.000

Problem 625

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F F F(-1) F F F

verified

N/A NO NO TBD TBD TBD TBD TBD TBD

size

446 446 5449 0 0 0 0 0 -1

N.S.

1 1.00 12.22 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.498 21.276 0.113 0.000 0.000 0.000 0.000 0.000

Problem 626

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F F F(-1) F F F

verified

N/A NO NO TBD TBD TBD TBD TBD TBD

size

390 390 2931 0 0 0 0 0 -1

N.S.

1 1.00 7.52 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.324 19.785 0.101 0.000 0.000 0.000 0.000 0.000

Problem 627

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F F F(-1) F F F

verified

N/A NO NO TBD TBD TBD TBD TBD TBD

size

402 402 3029 0 0 0 0 0 -1

N.S.

1 1.00 7.53 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.345 19.827 0.098 0.000 0.000 0.000 0.000 0.000

Problem 628

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F F(-1) F(-1) F F F

verified

N/A NO NO TBD TBD TBD TBD TBD TBD

size

466 466 3111 0 0 0 0 0 -1

N.S.

1 1.00 6.68 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.385 19.799 0.099 0.000 0.000 0.000 0.000 0.000

Problem 629

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F F F(-1) F F F

verified

N/A NO NO TBD TBD TBD TBD TBD TBD

size

839 839 4995 0 0 0 0 0 -1

N.S.

1 1.00 5.95 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.744 20.474 0.100 0.000 0.000 0.000 0.000 0.000

Problem 630

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F F F(-1) F F F

verified

N/A NO NO TBD TBD TBD TBD TBD TBD

size

786 786 4191 0 0 0 0 0 -1

N.S.

1 1.00 5.33 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.608 19.842 0.104 0.000 0.000 0.000 0.000 0.000

Problem 631

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F F F(-1) F F F

verified

N/A NO NO TBD TBD TBD TBD TBD TBD

size

803 803 4253 0 0 0 0 0 -1

N.S.

1 1.00 5.30 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.655 19.852 0.098 0.000 0.000 0.000 0.000 0.000

Problem 632

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F F(-1) F(-1) F F F

verified

N/A NO NO TBD TBD TBD TBD TBD TBD

size

856 856 4383 0 0 0 0 0 -1

N.S.

1 1.00 5.12 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.704 19.900 0.099 0.000 0.000 0.000 0.000 0.000

Problem 633

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A F F F F F F F

verified

N/A Yes N/A TBD TBD TBD TBD TBD TBD

size

259 259 0 0 0 0 0 0 -1

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.437 4.368 0.145 0.000 0.000 0.000 0.000 0.000

Problem 634

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A F F F F F(-1) F F

verified

N/A Yes N/A TBD TBD TBD TBD TBD TBD

size

258 258 0 0 0 0 0 0 -1

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.379 2.628 0.174 0.000 0.000 0.000 0.000 0.000

Problem 635

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F B A F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

38 38 38 0 310 58 0 0 -1

N.S.

1 1.00 1.00 0.00 8.16 1.53 0.00 0.00 -0.03

time (sec)

N/A 0.655 0.169 0.411 4.304 3.045 0.000 0.000 0.000

Problem 636

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F F F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

171 171 1817 0 0 0 0 0 -1

N.S.

1 1.00 10.63 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.187 14.782 0.108 0.000 0.000 0.000 0.000 0.000

Problem 637

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

140 140 96 141 175 147 0 334 232

N.S.

1 1.00 0.69 1.01 1.25 1.05 0.00 2.39 1.66

time (sec)

N/A 0.124 0.926 0.191 0.289 2.197 0.000 0.507 7.680

Problem 638

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

117 117 80 118 152 129 0 304 197

N.S.

1 1.00 0.68 1.01 1.30 1.10 0.00 2.60 1.68

time (sec)

N/A 0.116 0.539 0.118 0.281 2.883 0.000 0.472 7.641

Problem 639

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

86 86 59 88 100 107 0 184 137

N.S.

1 1.00 0.69 1.02 1.16 1.24 0.00 2.14 1.59

time (sec)

N/A 0.071 0.357 0.065 0.282 2.151 0.000 0.473 5.829

Problem 640

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

58 58 67 74 88 101 0 134 135

N.S.

1 1.00 1.16 1.28 1.52 1.74 0.00 2.31 2.33

time (sec)

N/A 0.037 0.029 0.054 0.287 2.221 0.000 0.445 3.627

Problem 641

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

42 42 54 49 59 86 0 119 91

N.S.

1 1.00 1.29 1.17 1.40 2.05 0.00 2.83 2.17

time (sec)

N/A 0.071 0.029 0.075 0.277 2.823 0.000 0.467 3.508

Problem 642

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

58 58 73 65 70 63 0 127 115

N.S.

1 1.00 1.26 1.12 1.21 1.09 0.00 2.19 1.98

time (sec)

N/A 0.085 0.149 0.085 0.296 2.142 0.000 0.437 3.670

Problem 643

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

77 77 64 68 67 56 0 153 67

N.S.

1 1.00 0.83 0.88 0.87 0.73 0.00 1.99 0.87

time (sec)

N/A 0.102 0.134 0.122 0.287 2.532 0.000 0.422 3.532

Problem 644

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

95 95 84 96 90 76 0 272 215

N.S.

1 1.00 0.88 1.01 0.95 0.80 0.00 2.86 2.26

time (sec)

N/A 0.125 0.236 0.129 0.285 2.050 0.000 0.444 6.474

Problem 645

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F(-1) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

131 131 108 117 113 94 0 302 250

N.S.

1 1.00 0.82 0.89 0.86 0.72 0.00 2.31 1.91

time (sec)

N/A 0.128 0.279 0.138 0.270 2.835 0.000 0.468 6.496

Problem 646

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

226 226 275 184 216 180 0 532 322

N.S.

1 1.00 1.22 0.81 0.96 0.80 0.00 2.35 1.42

time (sec)

N/A 0.350 2.328 0.111 0.305 3.817 0.000 0.502 7.551

Problem 647

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A A A F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

170 170 1123 180 225 171 0 426 307

N.S.

1 1.00 6.61 1.06 1.32 1.01 0.00 2.51 1.81

time (sec)

N/A 0.215 6.345 0.102 0.277 2.916 0.000 0.495 7.375

Problem 648

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A A A F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

103 103 242 117 129 136 0 262 209

N.S.

1 1.00 2.35 1.14 1.25 1.32 0.00 2.54 2.03

time (sec)

N/A 0.096 1.286 0.088 0.305 2.125 0.000 0.500 3.687

Problem 649

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

109 109 352 112 140 139 0 191 188

N.S.

1 1.00 3.23 1.03 1.28 1.28 0.00 1.75 1.72

time (sec)

N/A 0.114 0.895 0.101 0.285 3.204 0.000 0.517 4.233

Problem 650

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

103 103 130 94 99 119 0 175 193

N.S.

1 1.00 1.26 0.91 0.96 1.16 0.00 1.70 1.87

time (sec)

N/A 0.200 0.803 0.105 0.285 2.224 0.000 0.472 3.771

Problem 651

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

112 112 144 106 112 99 0 256 170

N.S.

1 1.00 1.29 0.95 1.00 0.88 0.00 2.29 1.52

time (sec)

N/A 0.204 0.261 0.112 0.272 3.323 0.000 0.482 3.809

Problem 652

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F(-1) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

145 145 104 140 130 104 0 378 145

N.S.

1 1.00 0.72 0.97 0.90 0.72 0.00 2.61 1.00

time (sec)

N/A 0.265 0.430 0.117 0.272 3.583 0.000 0.472 3.539

Problem 653

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F(-2) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

161 161 126 158 154 123 0 498 342

N.S.

1 1.00 0.78 0.98 0.96 0.76 0.00 3.09 2.12

time (sec)

N/A 0.279 0.456 0.142 0.291 2.558 0.000 0.475 6.335

Problem 654

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

306 306 407 298 386 262 0 932 574

N.S.

1 1.00 1.33 0.97 1.26 0.86 0.00 3.05 1.88

time (sec)

N/A 0.494 3.589 0.178 0.278 2.369 0.000 0.519 7.323

Problem 655

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

234 234 324 246 289 225 0 656 445

N.S.

1 1.00 1.38 1.05 1.24 0.96 0.00 2.80 1.90

time (sec)

N/A 0.339 1.891 0.122 0.288 4.496 0.000 0.549 7.519

Problem 656

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A A A F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

167 167 1241 209 254 199 0 526 1547

N.S.

1 1.00 7.43 1.25 1.52 1.19 0.00 3.15 9.26

time (sec)

N/A 0.220 6.426 0.111 0.284 2.680 0.000 0.500 6.030

Problem 657

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

167 167 325 155 181 178 0 322 464

N.S.

1 1.00 1.95 0.93 1.08 1.07 0.00 1.93 2.78

time (sec)

N/A 0.216 1.660 0.131 0.275 2.949 0.000 0.515 5.374

Problem 658

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

168 168 287 157 179 171 0 387 282

N.S.

1 1.00 1.71 0.93 1.07 1.02 0.00 2.30 1.68

time (sec)

N/A 0.265 1.899 0.135 0.283 3.621 0.000 0.508 5.468

Problem 659

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

163 163 184 135 141 158 0 306 238

N.S.

1 1.00 1.13 0.83 0.87 0.97 0.00 1.88 1.46

time (sec)

N/A 0.360 0.989 0.142 0.285 1.570 0.000 0.479 5.065

Problem 660

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F(-2) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

182 182 177 177 174 146 0 503 2008

N.S.

1 1.00 0.97 0.97 0.96 0.80 0.00 2.76 11.03

time (sec)

N/A 0.375 0.591 0.131 0.313 2.741 0.000 0.517 5.786

Problem 661

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F(-2) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

218 218 155 201 194 153 0 606 442

N.S.

1 1.00 0.71 0.92 0.89 0.70 0.00 2.78 2.03

time (sec)

N/A 0.451 0.694 0.082 0.286 2.997 0.000 0.492 6.901

Problem 662

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F(-2) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

257 257 253 249 243 189 0 882 573

N.S.

1 1.00 0.98 0.97 0.95 0.74 0.00 3.43 2.23

time (sec)

N/A 0.514 1.104 0.111 0.287 2.874 0.000 0.525 6.783

Problem 663

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

381 381 371 384 472 325 0 1280 755

N.S.

1 1.00 0.97 1.01 1.24 0.85 0.00 3.36 1.98

time (sec)

N/A 0.676 2.782 0.189 0.291 3.224 0.000 0.565 7.726

Problem 664

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

310 310 460 360 459 297 0 1100 690

N.S.

1 1.00 1.48 1.16 1.48 0.96 0.00 3.55 2.23

time (sec)

N/A 0.490 2.749 0.165 0.293 2.834 0.000 0.545 6.596

Problem 665

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A A A F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

227 227 503 275 318 251 0 778 1738

N.S.

1 1.00 2.22 1.21 1.40 1.11 0.00 3.43 7.66

time (sec)

N/A 0.331 2.535 0.131 0.286 2.504 0.000 0.527 6.508

Problem 666

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A A A F(-1) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

229 229 1357 247 306 236 0 590 1988

N.S.

1 1.00 5.93 1.08 1.34 1.03 0.00 2.58 8.68

time (sec)

N/A 0.344 6.546 0.163 0.298 3.081 0.000 0.539 6.555

Problem 667

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A A A F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

219 219 864 200 221 208 0 397 2664

N.S.

1 1.00 3.95 0.91 1.01 0.95 0.00 1.81 12.16

time (sec)

N/A 0.411 6.322 0.159 0.300 2.422 0.000 0.510 5.898

Problem 668

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F(-2) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

251 251 324 198 221 210 0 398 2660

N.S.

1 1.00 1.29 0.79 0.88 0.84 0.00 1.59 10.60

time (sec)

N/A 0.507 3.024 0.166 0.281 3.070 0.000 0.511 5.707

Problem 669

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F(-2) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

246 246 270 207 204 203 0 558 395

N.S.

1 1.00 1.10 0.84 0.83 0.83 0.00 2.27 1.61

time (sec)

N/A 0.595 1.432 0.088 0.306 3.654 0.000 0.519 4.394

Problem 670

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F(-2) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

250 250 223 240 239 195 0 753 2241

N.S.

1 1.00 0.89 0.96 0.96 0.78 0.00 3.01 8.96

time (sec)

N/A 0.616 0.836 0.096 0.280 2.817 0.000 0.517 5.597

Problem 671

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F(-2) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

298 298 302 294 283 212 0 1034 359

N.S.

1 1.00 1.01 0.99 0.95 0.71 0.00 3.47 1.20

time (sec)

N/A 0.713 0.893 0.093 0.290 2.215 0.000 0.526 4.339

Problem 672

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F(-1) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

339 339 351 332 329 251 0 1228 751

N.S.

1 1.00 1.04 0.98 0.97 0.74 0.00 3.62 2.22

time (sec)

N/A 0.789 0.844 0.116 0.296 3.390 0.000 0.551 6.802

Problem 673

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A A A F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

158 158 1299 161 192 181 0 379 274

N.S.

1 1.00 8.22 1.02 1.22 1.15 0.00 2.40 1.73

time (sec)

N/A 0.204 6.426 0.108 0.280 4.048 0.000 0.517 4.071

Problem 674

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

106 106 86 94 105 132 0 168 160

N.S.

1 1.00 0.81 0.89 0.99 1.25 0.00 1.58 1.51

time (sec)

N/A 0.122 0.264 0.079 0.274 3.439 0.000 0.498 3.618

Problem 675

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F F(-1) B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

75 75 75 82 93 116 0 0 137

N.S.

1 1.00 1.00 1.09 1.24 1.55 0.00 0.00 1.83

time (sec)

N/A 0.063 0.032 0.063 0.273 3.224 0.000 0.000 3.589

Problem 676

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F(-2) A F B B

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

186 186 657 299 0 663 0 372 2500

N.S.

1 1.00 3.53 1.61 0.00 3.56 0.00 2.00 13.44

time (sec)

N/A 0.450 4.202 0.315 0.000 9.057 0.000 0.518 8.043

Problem 677

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F(-2) B F A B

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

137 137 428 218 0 559 0 242 2321

N.S.

1 1.00 3.12 1.59 0.00 4.08 0.00 1.77 16.94

time (sec)

N/A 0.267 2.138 0.260 0.000 10.028 0.000 0.481 6.877

Problem 678

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F(-2) B F A B

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

95 95 331 137 0 424 0 163 934

N.S.

1 1.00 3.48 1.44 0.00 4.46 0.00 1.72 9.83

time (sec)

N/A 0.138 2.424 0.204 0.000 3.990 0.000 0.536 6.064

Problem 679

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F(-2) A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

88 88 239 114 0 362 0 144 2500

N.S.

1 1.00 2.72 1.30 0.00 4.11 0.00 1.64 28.41

time (sec)

N/A 0.112 0.451 0.211 0.000 4.557 0.000 0.494 9.806

Problem 680

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

86 86 82 108 0 306 0 136 1560

N.S.

1 1.00 0.95 1.26 0.00 3.56 0.00 1.58 18.14

time (sec)

N/A 0.136 0.246 0.158 0.000 2.902 0.000 0.477 4.338

Problem 681

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

128 126 115 160 0 386 0 199 2478

N.S.

1 0.98 0.90 1.25 0.00 3.02 0.00 1.55 19.36

time (sec)

N/A 0.273 0.405 0.197 0.000 2.933 0.000 0.450 6.216

Problem 682

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) A F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

175 173 149 225 0 483 0 326 2500

N.S.

1 0.99 0.85 1.29 0.00 2.76 0.00 1.86 14.29

time (sec)

N/A 0.430 0.523 0.225 0.000 3.517 0.000 0.511 7.607

Problem 683

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) A F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

232 232 191 353 0 599 0 574 2500

N.S.

1 1.00 0.82 1.52 0.00 2.58 0.00 2.47 10.78

time (sec)

N/A 0.679 0.702 0.269 0.000 2.671 0.000 0.496 10.297

Problem 684

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) B F A B

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

271 271 461 322 0 1135 0 358 2500

N.S.

1 1.00 1.70 1.19 0.00 4.19 0.00 1.32 9.23

time (sec)

N/A 0.606 4.050 0.539 0.000 25.805 0.000 0.498 13.256

Problem 685

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A F(-2) B F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

153 153 336 232 0 852 0 382 2500

N.S.

1 1.00 2.20 1.52 0.00 5.57 0.00 2.50 16.34

time (sec)

N/A 0.340 2.859 0.338 0.000 7.243 0.000 0.490 12.169

Problem 686

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F(-2) B F A B

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

135 135 331 188 0 676 0 231 2500

N.S.

1 1.00 2.45 1.39 0.00 5.01 0.00 1.71 18.52

time (sec)

N/A 0.193 2.550 0.328 0.000 8.602 0.000 0.509 11.219

Problem 687

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F(-2) B F A B

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

125 125 270 169 0 543 0 205 2500

N.S.

1 1.00 2.16 1.35 0.00 4.34 0.00 1.64 20.00

time (sec)

N/A 0.184 2.196 0.172 0.000 4.220 0.000 0.482 11.224

Problem 688

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) A F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

171 171 137 203 0 642 0 988 2500

N.S.

1 1.00 0.80 1.19 0.00 3.75 0.00 5.78 14.62

time (sec)

N/A 0.310 1.037 0.216 0.000 3.836 0.000 0.527 11.667

Problem 689

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

256 256 176 266 0 838 0 315 2500

N.S.

1 1.00 0.69 1.04 0.00 3.27 0.00 1.23 9.77

time (sec)

N/A 0.625 1.025 0.262 0.000 4.096 0.000 0.493 13.267

Problem 690

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

326 326 212 329 0 989 0 441 2500

N.S.

1 1.00 0.65 1.01 0.00 3.03 0.00 1.35 7.67

time (sec)

N/A 0.884 1.176 0.295 0.000 6.229 0.000 0.471 13.698

Problem 691

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) B F B B

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

381 381 559 462 0 2084 0 1187 2500

N.S.

1 1.00 1.47 1.21 0.00 5.47 0.00 3.12 6.56

time (sec)

N/A 1.164 4.463 0.994 0.000 56.146 0.000 0.586 18.474

Problem 692

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) B F B B

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

271 271 421 356 0 1552 0 521 2500

N.S.

1 1.00 1.55 1.31 0.00 5.73 0.00 1.92 9.23

time (sec)

N/A 0.726 2.522 0.743 0.000 26.669 0.000 0.574 13.525

Problem 693

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F(-2) B F B B

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

212 212 445 317 0 1317 0 509 2500

N.S.

1 1.00 2.10 1.50 0.00 6.21 0.00 2.40 11.79

time (sec)

N/A 0.437 5.555 0.556 0.000 17.292 0.000 0.533 13.170

Problem 694

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F(-2) B F B B

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

177 177 342 230 0 718 0 371 241

N.S.

1 1.00 1.93 1.30 0.00 4.06 0.00 2.10 1.36

time (sec)

N/A 0.238 3.636 0.312 0.000 3.446 0.000 0.554 6.562

Problem 695

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F(-2) B F B B

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

202 202 642 298 0 1059 0 484 2500

N.S.

1 1.00 3.18 1.48 0.00 5.24 0.00 2.40 12.38

time (sec)

N/A 0.323 5.018 0.280 0.000 2.898 0.000 0.552 14.243

Problem 696

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F(-2) B F A B

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

266 266 902 329 0 1219 0 491 2500

N.S.

1 1.00 3.39 1.24 0.00 4.58 0.00 1.85 9.40

time (sec)

N/A 0.692 6.826 0.359 0.000 2.738 0.000 0.541 14.149

Problem 697

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) B F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

369 369 256 404 0 1554 0 2485 2500

N.S.

1 1.00 0.69 1.09 0.00 4.21 0.00 6.73 6.78

time (sec)

N/A 1.146 2.559 0.438 0.000 4.319 0.000 0.813 17.745

Problem 698

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) B F B B

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

378 378 564 532 0 2424 0 878 2500

N.S.

1 1.00 1.49 1.41 0.00 6.41 0.00 2.32 6.61

time (sec)

N/A 1.288 4.679 0.641 0.000 66.347 0.000 0.534 17.155

Problem 699

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F(-2) B F B B

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

313 313 1092 502 0 2156 0 876 2500

N.S.

1 1.00 3.49 1.60 0.00 6.89 0.00 2.80 7.99

time (sec)

N/A 0.875 7.240 1.085 0.000 35.638 0.000 0.539 20.845

Problem 700

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) B F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

261 261 221 374 0 1113 0 693 482

N.S.

1 1.00 0.85 1.43 0.00 4.26 0.00 2.66 1.85

time (sec)

N/A 0.487 1.457 0.552 0.000 2.661 0.000 0.552 8.294

[next] [prev] [prev-tail] [front] [up]